$\forall$$g$:IMonoid, $n$:$\mathbb{N}$, $e$:$\mid$$g$$\mid$. $n$ x($\ast$;e) $e$ $\in$ $\mid$$g$$\mid$